formal or extended designation - German English Dictionary